(A, B) => C